3030.sat