79.23/83.05	unsat
