added MINIMAXQ_EXPLOR