83.37/86.05	unsat
