Senate Evacuation solutions

Senate Evacuation was solved using Picat by 1 contestant.