+ writing only oneliteral clauses for cnf in system roeste mode