RiNot
RiNot3 converted CNF