+ making oneliteral clauses for searching a5-1 collisions