Razor using solver.