81.24/83.05	unsat
