82.22/86.87	unsat
