solution 2011 done
solution 2012 done
give up solution 2013 because brute force