#2: SAT moving online