RTL PASSION SAT [] .c