loading SCIP...
18 30813 true
10 11 15 20 23 28 30 31 33 41 58 61 68 83 85 90 97 98