[Jacck]

1. in-limit=28
(D' L2 F' B U) // EO
(B' L' B' L') // 222
(R2 U2 R B U2) // 223
(R B R B2) // F2L-1
(R' B' R2 B) // L2C in 22 - and tried to check the standard-12-mover to insert first, with success!
ssf: B' * R2 B R B2 R' B' R' U2 B' R' U2 R2 L B L B U' B' F L2 D
* B D' L2 D B' R2 B D' L2 D B' R2 // 12-6/28
solution: D' L2 D B' R2 B D' L2 D R B2 R' B' R' U2 B' R' U2 R2 L B L B U' B' F L2 D
IF finds only another -10, -3 followed by a -7, don’t think that I would have found that