That's taken from the Google Labs Aptitude test, IIRC it's a simplification of https://arxiv.org/abs/cond-mat/9909120 with solution here https://mathworld.wolfram.com/news/2004-10-13/google/