144.39/145.19	unsat
