140.73/142.60	unsat
