Adicione codigo para TwoSat