82.83/83.12	unsat
