86.83/87.36	unsat
