SSAT-to-SAT

<p>Thanks for this. I’ve been wondering. </p>