141.70/142.18	unsat
