spaceinvaders.sats