644.52/833.66	unsat
