SAT > IP