ggx.sat