144.07/146.92	unsat
