SAT Boundaries

{jsmallfib [SAT_Boundaries]}