144.37/144.72	unsat
