1.69/1.73	c initFormula():: the DIMACS p-line indicates a CNF of 2420 variables and 22340 clauses.
1.69/1.73	c parseCNF():: the CNF contains 0 unary clauses.
1.69/1.73	c preprocessing fase I completed:: there are now 2420 free variables and 21044 clauses.
1.69/1.73	c main():: all systems go!