Forward checking funcionando para SMP