SAT - switch to SAT

<p>Anyone, please?</p>