Unit_propagation loading ...