gate.sat