Auto solver.