85.88/86.05	unsat
