SAT IF distribution