cabbage.sat