cup.sat