140.82/145.19	unsat
