No one has yet managed to solve n=6 completely, so I think solving n=7 is a long...

No one has yet managed to solve n=6 completely, so I think solving n=7 is a long way off.

On the other hand, I think we will soon have an improved lower bound that is strong enough to refute this formula.