Verifying the solution