650.63/651.72	unsat
