Enter up to fifteen clauses in CNF form
1 2 0 -2 4 0 -1 2 3 0 2 -4 -5 0 1 -2 -3 -4 5 0
Update(and preserve layout), alternatively: PrevNext