Solve with V* (lookup) or DAVI (learned heuristic + BWAS).
U R F U' R' F R'
— states at this V* state id 2,028,554