83.07/86.49	unsat
