unit propagation was not complete