86.94/87.24	unsat
