82.04/85.81	unsat
