R(5, 5) ≤ 48 - Vigleik Angeltveit; Brendan D. McKay (J. Graph Theory, 2018)