Scanf.scanf "%d %d" @@ fun n x ->
  if x = 1 || x = 2*n-1 then print_endline "No"
  else begin
    print_endline "Yes";
    let rec constr i y =
      if i > 2*n-1 then []
      else if i = n-1 then (x-1) :: x :: (x+1) :: constr (i+3) y
      else if y = x-1 then constr i (x+2)
      else y :: constr (i+1) (y+1)
    in constr 1 1 |> List.iter (Printf.printf "%d\n")
  end
