GCJ milkshake SAT