ℛ(K6-e,K4) =30 *. - David James; Elisha Kahan; Erik Rauer (Graphs Comb., 2025)