Decide by means of resolution whether the following first order formula $($in SCNF$)$ is satisfiable: $\{\{$p$($f$($Y$),$X$),$p$($Z$,$X$)\},\{$p$($A$,$A$),$q$($A$)\},\{$q$($f$($f$($c$)))\}\}$