decoder_f_sat