1../STP-DIMACS/ESMT-esteiner/estein40/estein40-0.stp 2../STP-DIMACS/ESMT-esteiner/estein40/estein40-10.stp 3../STP-DIMACS/ESMT-esteiner/estein40/estein40-11.stp 4../STP-DIMACS/ESMT-esteiner/estein40/estein40-12.stp 5../STP-DIMACS/ESMT-esteiner/estein40/estein40-13.stp 6../STP-DIMACS/ESMT-esteiner/estein40/estein40-14.stp 7../STP-DIMACS/ESMT-esteiner/estein40/estein40-1.stp 8../STP-DIMACS/ESMT-esteiner/estein40/estein40-2.stp 9../STP-DIMACS/ESMT-esteiner/estein40/estein40-3.stp 10../STP-DIMACS/ESMT-esteiner/estein40/estein40-4.stp 11../STP-DIMACS/ESMT-esteiner/estein40/estein40-5.stp 12../STP-DIMACS/ESMT-esteiner/estein40/estein40-6.stp 13../STP-DIMACS/ESMT-esteiner/estein40/estein40-7.stp 14../STP-DIMACS/ESMT-esteiner/estein40/estein40-8.stp 15../STP-DIMACS/ESMT-esteiner/estein40/estein40-9.stp 16