SAT>IP - Diagram