84.33/86.05	unsat
