86.71/87.56	unsat
