140.90/144.24	unsat
