loading SCIP...
12 40578 true
3 4 11 23 36 37 57 67 73 79 80 92