11 667 897
5 8 10 17 19 32 48 56 57 77 80 
0.4272863568215892