#solve_and_check