SpecialSatFinder.sats