Conversion to 3-CNF almost complete