87.83/91.70	unsat
