choke.sat