octopus.sat