Fixed lookahead (only doing unit propagation though)