649.80/653.18	unsat
