Robuta

https://www.qbflib.org/family_exec_detail.php?idFamily=610&idSolver=107&year=2010&track=3 depqbf