83.83/86.60	unsat
