Without ordering the clause. Only the first literals are sufficient