Real sat tests

<p>I want real sat tests to more practical </p>