Our goal is to design a traffic-light controller with the following properties; it lights up the green light (output G) for 15 seconds, followed by the yellow light (output Y) for 9 seconds, then the red light (output R) for 12 seconds. The controller will repeat this pattern forever. Our system will have a clock signal with a period of 3 seconds. 1. How many states, N, are needed in a FSM to implement this controller