//linha 1
psr.adicionarRestricaoUnaria("x11", Operador.IGUAL, 7);
psr.adicionarRestricaoUnaria("x15", Operador.IGUAL, 2);
psr.adicionarRestricaoUnaria("x16", Operador.IGUAL, 1);
psr.adicionarRestricaoUnaria("x18", Operador.IGUAL, 5);
//linha 2
psr.adicionarRestricaoUnaria("x23", Operador.IGUAL, 1);
//linha 3
psr.adicionarRestricaoUnaria("x34", Operador.IGUAL, 8);
psr.adicionarRestricaoUnaria("x35", Operador.IGUAL, 3);
psr.adicionarRestricaoUnaria("x36", Operador.IGUAL, 6);
psr.adicionarRestricaoUnaria("x39", Operador.IGUAL, 2);
//linha 4
psr.adicionarRestricaoUnaria("x42", Operador.IGUAL, 6);
psr.adicionarRestricaoUnaria("x49", Operador.IGUAL, 8);
//linha 5
psr.adicionarRestricaoUnaria("x52", Operador.IGUAL, 5);
psr.adicionarRestricaoUnaria("x53", Operador.IGUAL, 8);
psr.adicionarRestricaoUnaria("x57", Operador.IGUAL, 2);
psr.adicionarRestricaoUnaria("x58", Operador.IGUAL, 9);
//linha 6
psr.adicionarRestricaoUnaria("x61", Operador.IGUAL, 3);
psr.adicionarRestricaoUnaria("x68", Operador.IGUAL, 6);
//linha 7		
psr.adicionarRestricaoUnaria("x71", Operador.IGUAL, 6);
psr.adicionarRestricaoUnaria("x74", Operador.IGUAL, 7);
psr.adicionarRestricaoUnaria("x75", Operador.IGUAL, 4);
psr.adicionarRestricaoUnaria("x76", Operador.IGUAL, 9);
//linha 8
psr.adicionarRestricaoUnaria("x87", Operador.IGUAL, 7);
//linha 9
psr.adicionarRestricaoUnaria("x92", Operador.IGUAL, 4);
psr.adicionarRestricaoUnaria("x94", Operador.IGUAL, 6);
psr.adicionarRestricaoUnaria("x95", Operador.IGUAL, 5);
psr.adicionarRestricaoUnaria("x99", Operador.IGUAL, 1);