3-CNF conversion complete