verifySolution implemented