144.00/144.69	unsat
