new parametersystem for randomcnf