82.71/85.59	unsat
