Most constrained variable
	n Most constrained variable: choose the variable with the fewest legal values n a.k.a. minimum remaining values (MRV) heuristic