86.67/87.14	unsat
