Symbol: sat_test