WHOOP WHOOP n=7 solved in 25 seconds