Senate Evacuation solutions

Senate Evacuation was solved using TCL by 1 contestant.