1/17*14/20 * sum(k/20,k=15..19) + 12/17*13/20*15/20