244.35/244.66	unsat
