86.92/87.19	unsat
