Loop: si ipotizza un candidato in una certa posizione, tramite una catena di conseguenze si arriva alla contraddizione della ipotesi.
Questa definizione e' mia e potrebbe non essere molto ortodossa (qualcuno mi da' una mano a definirla meglio?)
la soluzione
LOOP, trovata contradizione, r3c5
* Se r3c5=1 allora
* r3c5 <> 3
* r3c1 = 3
* r3c1 <> 7
* r1c1 = 7
* r1c8 = 4
* r1c4 = 1
* r3c5<>1
* CONTRADDICE L'IPOTESI
* elimino 1 da r3c5
