86.18/86.36	unsat
