645.95/649.98	unsat
