83.23/84.60	unsat
