81.83/84.50	unsat
