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