hedgehog.sat