An integer program and new lower bounds for computing the strong rainbow connection numbers of graphs. Issue 1 (28th February 2021)