SAT_(test) loading ...