solve. Theoretical results are very difficult to come by. Each year, the International