145.93/147.71	unsat
