141.72/142.08	unsat
