loading SCIP...
15 34656 true
3 5 9 13 14 15 19 39 48 53 59 61 76 81 92