12 1072 277
5 17 19 30 37 42 48 56 69 80 84 85 
0.6361940298507462