loading SCIP...
16 17516 true
3 11 12 20 30 33 57 58 72 82 85 88 89 90 97 98