State Diagram: ICSC_SAT / State Diagram