144.61/144.82	unsat
