beam=13.0 # beam for decoding.  Was 13.0 in the scripts.
first_beam=9.0 # beam for 1st-pass decoding in SAT.