649.80/651.43	unsat
