loading SCIP...
16 33782 true
8 9 10 17 18 22 30 42 55 57 61 63 84 86 91 97