SAT_test loading ...