c=c,n=n I'm looking for Canalsat