81.47/84.80	unsat
