144.08/144.32	unsat
