n = gets.to_i t = Math.sqrt(n * 2).to_i if t * (t + 1) / 2 == n puts :YES puts t else puts :NO end