solver->addTableEntry(t1, row4, 3, false);
solver->addTableEntry(t1, row5, 3, false);
solver->addTableEntry(t1, row6, 3, true);
solver->addTableEntry(t1, row4, 3, false);
solver->addTableEntry(t1, row5, 3, false);
solver->addTableEntry(t1, row6, 3, true);