140.77/142.80	unsat
