bullfrog.sats