Problem: Overlooking the captivating blend of myriads of vernal hues, Arkady the painter lays out a long, long canvas.

Arkady has a sufficiently large amount of paint of three colours: cyan, magenta, and yellow. On the one-dimensional canvas split into n consecutive segments, each segment needs to be painted in one of the colours.

Arkady has already painted some (possibly none or all) segments and passes the paintbrush to you. You are to determine whether there are at least two ways of colouring all the unpainted segments so that no two adjacent segments are of the same colour. Two ways are considered different if and only if a segment is painted in different colours in them.

Input

The first line contains a single positive integer n (1 ≤ n ≤ 100) — the length of the canvas.

The second line contains a string s of n characters, the i-th of which is either 'C' (denoting a segment painted in cyan), 'M' (denoting one painted in magenta), 'Y' (one painted in yellow), or '?' (an unpainted one).

Output

If there are at least two different ways of painting, output "Yes"; otherwise output "No" (both without quotes).

You can print each character in any case (upper or lower).

Examples

Input

5
CY??Y


Output

Yes


Input

5
C?C?Y


Output

Yes


Input

5
?CYC?


Output

Yes


Input

5
C??MM


Output

No


Input

3
MMY


Output

No

Note

For the first example, there are exactly two different ways of colouring: CYCMY and CYMCY.

For the second example, there are also exactly two different ways of colouring: CMCMY and CYCMY.

For the third example, there are four ways of colouring: MCYCM, MCYCY, YCYCM, and YCYCY.

For the fourth example, no matter how the unpainted segments are coloured, the existing magenta segments will prevent the painting from satisfying the requirements. The similar is true for the fifth example.

Solution (in PYTHON):

Solution:
import math
from fractions import Fraction

def modInverse(a, m) :
	
	g = gcd(a, m)
	
	if (g != 1) :
		print("Inverse doesn't exist")
		
	else :
		res = power(a, m - 2, m)
		return res
	
# To compute x^y under modulo m
def power(x, y, m) :
	
	if (y == 0) :
		return 1
		
	p = power(x, y // 2, m) % m
	p = (p * p) % m

	if(y % 2 == 0) :
		return p 
	else : 
		return ((x * p) % m)

# Function to return gcd of a and b
def gcd(a, b) :
	if (a == 0) :
		return b
		
	return gcd(b % a, a)

def modulo(a, m):
	return (a%m+m)%m




def matrix_square(A, mod):
    return mat_mult(A,A,mod)


def mat_mult(A,B, mod):
  if mod is not None:
    return [[modulo(A[0][0]*B[0][0] + A[0][1]*B[1][0], MOD), modulo((A[0][0]*B[0][1] + A[0][1]*B[1][1]), MOD)],
            [modulo((A[1][0]*B[0][0] + A[1][1]*B[1][0]), MOD), modulo((A[1][0]*B[0][1] + A[1][1]*B[1][1]), MOD)]]


def matrix_pow(M, power, mod):
    #Special definition for power=0:
    if power <= 0:
      return M

    powers =  list(reversed([True if i=="1" else False for i in bin(power)[2:]])) #Order is 1,2,4,8,16,...

    matrices = [None for _ in powers]
    matrices[0] = M

    for i in range(1,len(powers)):
        matrices[i] = matrix_square(matrices[i-1], mod)


    result = None

    for matrix, power in zip(matrices, powers):
        if power:
            if result is None:
                result = matrix
            else:
                result = mat_mult(result, matrix, mod)

    return result

def power(x, y, p) :
    res = 1     # Initialize result
 
    # Update x if it is more
    # than or equal to p
    x = x % p 
 
    while (y > 0) :
         
        # If y is odd, multiply
        # x with result
        if ((y & 1) == 1) :
            res = (res * x) % p
 
        # y must be even now
        y = y >> 1      # y = y/2
        x = (x * x) % p
         
    return res
'''
for _ in xrange(int(raw_input())):
	l, d, t = map(int, raw_input().split())
	MOD = 1000000007

	if(t==1):
		print d
		continue
	
	fib_matrix = [[2*d,l],[-l,0]]
 	
 	res = matrix_pow(fib_matrix, t-1, MOD)
	num = modulo((d*res[0][0]-l*res[0][1]), MOD)
	
	denom = power(l, t-1, MOD)
	
	k = gcd(num, denom)
	num/=k
	denom/=k
	
	num = modulo(num, MOD)
	denom = modInverse(denom, MOD)
	print modulo(num*denom, MOD)
'''

def inp(): return input()

def inpv(): return [float(x) for x in raw_input().split()]

def Hills():
	n = inp()
	s = raw_input()
	print('Yes' if
    	('??' in s or 'C?C' in s or 'M?M' in s or 'Y?Y' in s or s[0] == '?' or s[-1] == '?') and
    	not ('CC' in s or 'MM' in s or 'YY' in s)
	else 'No')

		
Hills()