Moved import of correct solution to verify.sql; fixed README accordingly.