Describir: On lower bounds for the matching number of subcubic graphs