This is one of those problems where you know that the only approach is exhaustive search, and that it could be done by a program, but no one wants to write it, it's more fun to argue about the small values.