casts.sat