82.17/82.36	unsat
