Well, looking at all the 16s and one 15 - beside that record of 13 - I got in those about two hours, I probably could find a 12 in two or three days of calculation time, which would be very little improvement compared to the effort. Looking at my limited resources, I'd rather leave that task for real experts.
