loading SCIP...
12 22922 true
5 6 11 18 23 30 49 50 76 88 93 95