Static Algo Trip (SAT)