85.78/86.66	unsat
