RandomSolver