ghost.sat