Ramsey number $R(7,12)$

The smallest number $n$ such that any two-coloring of the edges of the complete graph $K_n$ must contain either a monochromatic $K_{7}$ in the first color or a monochromatic $K_{12}$ in the second color.

Lower bound: $417$
Upper bound: $4665$

Updates