81.55/82.59	unsat
