We computed 20% of the search space in less then 4 month. Have a look to the stats and the found solutions.

More...