IDA* Outer Loop
	IDASTARSEARCH (node : N) B := f(N); WHILE (TRUE)    B := IDASTAR(N, B)