Port 22

Checking Firewall Equivalence with Z3