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