loading SCIP...
20 27750 true
0 9 11 13 15 16 18 19 23 24 30 33 35 53 55 57 61 79 82 84