3210.sat