implement verify_solution()