loading SCIP...
17 31735 true
1 2 3 4 7 15 17 18 43 48 50 56 67 73 85 88 99