144.63/147.74	unsat
