n = 2 * gets.to_i k = Math.sqrt(n).to_i if n == k * (k + 1) puts "YES" puts k else puts "NO" end