139.63/142.60	unsat
