84.11/86.88	unsat
