141.94/146.60	unsat
