144.37/144.63	unsat
