test sat_query