loading SCIP...
15 37562 true
7 11 13 28 33 41 47 48 49 57 64 67 78 94 98