~3483,c  
1 P NAE[] P NAE[]