82.87/83.13	unsat
