Minor change in the script.
Added some sat tests.