Title: Exploratory model analysis of the Space Based Infrared System (SBIRS) Low Global Scheduler problem