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