sat_set_def_inputs.ys 56 Bytes