82.92/83.18	unsat
