A small margin voted for the first option. I rolled some dice to see which match got to play first and it was the second one.
SO Team 3 vs. Team 4 at 17.00GMT and team 1 vs. team 2 at 19.00 GMT.
Good luck to both teams. I am away most of today and probably until early afternoon tomorrow (got some partying tonight).
You can still send me PM and I will respond.