process_sat
