87.67/90.83	unsat
