[("0","00"),("0010","011"),("0110","1")] a b c aa ab ac ba bb bc ca cb cc -1 2 2 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 1 1 1 1 1 1 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 1 -1 0 -1 1 0 0 0 0 4 1 1 2 1 1 1 0 0 1 0 0 4 1 1 3 0 1 1 0 0 0 1 0 4 1 1 2 1 1 2 0 -1 0 0 1 => bc=cc=0 => ac+bc+cc=c=ac => neue instanz (a,b,ac) => unlösbar, mask [("0","000"),("0","01"),("0101","10")] a b c aa ab ac ba bb bc ca cb cc -2 0 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -2 0 0 0 0 1 1 1 1 -1 -1 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 2 -2 0 -2 2 0 0 0 0 1 2 2 -3 2 2 2 0 0 2 0 0 1 2 2 -1 0 2 2 0 0 0 2 0 1 2 2 -1 2 0 2 0 0 0 0 2 => bc=0 => neue instanz (a,ba,bb,c) => unlösbar, rho+ [("0","000"),("0","0101"),("0101","10")] a b c aa ab ac ba bb bc ca cb cc -2 -1 1 0 0 0 0 0 0 0 0 0 0 -2 1 0 0 0 0 0 0 0 0 0 -2 0 0 0 0 1 1 1 1 -1 -1 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 4 -4 0 -4 4 0 0 0 0 1 2 4 -5 2 4 2 0 0 4 0 0 1 2 4 -1 -2 4 2 0 0 0 4 0 1 2 4 -1 2 0 2 0 0 0 0 4 => bc=0 => neue instanz (a,ba,bb,ac,cc) => unlösbar: rho+ [("0","000"),("000","01"),("0101","10")] a b c aa ab ac ba bb bc ca cb cc -2 2 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 1 1 1 1 -1 -1 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 2 -2 0 -2 2 0 0 0 0 3 2 2 -1 2 2 2 0 0 2 0 0 3 2 2 1 0 2 2 0 0 0 2 0 3 2 2 1 2 0 2 0 0 0 0 2 => bc=0 => neue instanz (a,ba,bb,c) => unlösbar, rho+ [("0","000"),("000","0101"),("0101","10")] a b c aa ab ac ba bb bc ca cb cc -2 1 1 0 0 0 0 0 0 0 0 0 0 -2 1 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 1 1 1 1 -1 -1 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 4 -4 0 -4 4 0 0 0 0 3 2 4 -3 2 4 2 0 0 4 0 0 3 2 4 1 -2 4 2 0 0 0 4 0 3 2 4 1 2 0 2 0 0 0 0 4 => bc=0 => neue instanz (a,ba,bb,ac,cc) => unlösbar, rho+ [("0","0000"),("0","1"),("001","0")] a b c aa ab ac ba bb bc ca cb cc -3 1 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -3 0 1 0 1 0 1 1 1 -1 0 -1 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 3 0 -3 -3 0 3 0 0 0 2 3 3 -4 3 3 3 0 0 3 0 0 2 3 3 -1 0 3 3 0 0 0 3 0 2 3 3 -1 3 0 3 0 0 0 0 3 => bb=0 => neue instanz (a,ba,bc,c) => unlösbar, mask [("0","0000"),("0","101"),("0101","10")] a b c aa ab ac ba bb bc ca cb cc -3 0 1 0 0 0 0 0 0 0 0 0 0 -2 1 0 0 0 0 0 0 0 0 0 -3 0 0 0 1 1 1 1 1 -1 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 0 6 -6 0 -6 6 0 0 0 2 3 6 -7 3 6 3 0 0 6 0 0 2 3 6 -1 -3 6 3 0 0 0 6 0 2 3 6 -1 3 0 3 0 0 0 0 6 => bb=bc=0 => neue instanz (a,ba,c) => unlösbar, eqs [("0","0000"),("0","11"),("0011","0")] a b c aa ab ac ba bb bc ca cb cc -3 1 1 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 -3 0 1 0 1 0 1 1 1 -1 0 -1 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 3 0 -3 -3 0 3 0 0 0 2 3 3 -4 3 3 3 0 0 3 0 0 2 3 3 -1 0 3 3 0 0 0 3 0 2 3 3 -1 3 0 3 0 0 0 0 3 => bb=0 => neue instanz (a,ba,bc,c) => group-equiv to [("0","0000"),("00","00001"),("100","0"),("1000","01")] => unlösbar, mask [("0","0000"),("00","101"),("0101","10")] a b c aa ab ac ba bb bc ca cb cc -3 1 1 0 0 0 0 0 0 0 0 0 0 -2 1 0 0 0 0 0 0 0 0 0 -3 1 0 0 1 1 1 1 1 -1 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 0 2 -2 0 -2 2 0 0 0 1 1 2 -2 1 2 1 0 0 2 0 0 1 1 2 0 -1 2 1 0 0 0 2 0 1 1 2 0 1 0 1 0 0 0 0 2 => bb=bc=0 => neue instanz (a,ba,c) => unlösbar, eqs [("0","0000"),("0000","101"),("0101","10")] a b c aa ab ac ba bb bc ca cb cc -3 3 1 0 0 0 0 0 0 0 0 0 0 -2 1 0 0 0 0 0 0 0 0 0 -3 3 0 0 1 1 1 1 1 -1 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 0 6 -6 0 -6 6 0 0 0 5 3 6 -4 3 6 3 0 0 6 0 0 5 3 6 2 -3 6 3 0 0 0 6 0 5 3 6 2 3 0 3 0 0 0 0 6 => bb=bc=0 => neue instanz (a,ba,c) => unlösbar, mask [("0","0001"),("0100","1"),("10","0")] a b c aa ab ac ba bb bc ca cb cc -2 3 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 -2 1 0 1 1 0 1 1 0 0 1 -1 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 2 -2 0 -2 2 0 0 0 0 0 0 0 2 0 -2 -2 0 2 0 0 0 3 2 3 0 0 3 2 0 0 1 2 0 0 0 0 2 0 -2 0 0 0 -2 0 2 => ab=bb=0, b=cb => neue instanz (a,cb,c) => unlösbar, mask [("0","0001"),("0101","01"),("1","0111")] a b c aa ab ac ba bb bc ca cb cc -2 1 -1 0 0 0 0 0 0 0 0 0 -1 1 -2 0 0 0 0 0 0 0 0 0 -2 0 0 1 1 0 0 0 0 0 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 1 -1 0 -1 1 0 0 0 0 1 3 1 -1 3 -1 1 0 2 1 0 0 1 3 1 0 2 -1 1 0 2 0 1 0 1 3 1 -1 3 -1 2 0 1 0 0 1 => a=b=c=0 oder ac<0 => unlösbar [("0","001"),("0010","0"),("1","001")] a b c aa ab ac ba bb bc ca cb cc -1 2 -2 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 1 0 0 0 -1 0 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 1 -1 0 -1 1 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 2 2 1 -1 2 1 2 0 0 1 0 0 2 2 1 0 1 1 2 0 0 0 1 0 => cc=0 => neue instanz (a,b,ac,bc) => group-equiv to [("0","01"),("010","0"),("011","001"),("1","0101")] => unlösbar, search_loop [("0","001"),("0010","0"),("1","0010")] a b c aa ab ac ba bb bc ca cb cc -1 2 -3 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 1 0 0 0 -1 -1 -1 -1 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 1 -1 0 -1 1 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 3 3 1 -1 3 1 3 0 0 1 0 0 3 3 1 0 2 1 3 0 0 0 1 0 => cc=0 => neue instanz (a,b,ac,bc) => group-equiv to [("0","01"),("010","0"),("011","0010"),("1","01010")] => unlösbar, rho+ [("0","0010"),("1","1011"),("1010","10")] a b c aa ab ac ba bb bc ca cb cc -2 -1 1 0 0 0 0 0 0 0 0 0 -1 -2 1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 1 -1 0 -1 1 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 -1 0 1 => a=b=c=0 => unlösbar [("0","0011"),("0000","00"),("11","0")] a b c aa ab ac ba bb bc ca cb cc -1 2 -1 0 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 -1 2 0 1 1 0 0 0 -1 -1 -1 -1 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 1 -1 0 -1 1 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 1 1 1 -1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 => cc=0 => neue instanz (a,b,ca,cb) => unlösbar, mask [("0","0011"),("0101","01"),("1","0101")] a b c aa ab ac ba bb bc ca cb cc -1 1 -2 0 0 0 0 0 0 0 0 0 -2 1 -1 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 0 0 0 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 1 -1 0 -1 1 0 0 0 0 1 3 1 -2 3 0 2 0 1 1 0 0 1 3 1 -1 2 0 2 0 1 0 1 0 1 3 1 -2 3 0 3 0 0 0 0 1 => ac=0 => neue instanz (aa,ab,b,c) => unlösbar, mask [("0","0011"),("0101","1"),("1","10")] a b c aa ab ac ba bb bc ca cb cc -1 2 -1 0 0 0 0 0 0 0 0 0 -2 1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 0 0 -1 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 3 -3 0 -3 3 0 0 0 0 1 2 3 2 2 -3 -4 0 6 3 0 0 1 2 3 2 -1 0 -1 0 3 0 3 0 1 2 3 -1 2 0 2 0 0 0 0 3 => ac=ca=0 => neue instanz (aa,ab,b,c) => unlösbar, mask [("0","0011"),("1","0110"),("101","1")] a b c aa ab ac ba bb bc ca cb cc -1 -2 1 0 0 0 0 0 0 0 0 0 -2 -1 1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 -1 -1 0 0 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -3 6 -3 3 -6 3 0 0 0 1 1 3 2 -4 3 -4 5 0 3 0 0 1 1 3 2 -4 3 -1 2 0 0 3 0 1 1 3 2 -1 0 -1 2 0 0 0 3 * * * * * => ab=ac=ba=bb=ca=0 => b=ba+bb+bc=bc => neue instanz (a,bc,c) => unlösbar, mask [("0","01"),("00","0000"),("0101","10")] a b c aa ab ac ba bb bc ca cb cc 0 -2 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 -2 0 1 1 1 0 0 1 -1 -1 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 2 -2 0 -2 2 0 0 0 0 2 1 2 1 1 0 -1 0 2 2 0 0 2 1 2 3 -1 0 -1 0 2 0 2 0 2 1 2 1 1 0 1 0 0 0 0 2 => ac=0 => neue instanz (aa,ab,b,c) => unlösbar, rho+ [("0","01"),("0101","10"),("1","1001")] a b c aa ab ac ba bb bc ca cb cc 0 1 -2 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 2 -1 1 -2 1 0 0 0 1 2 1 1 -1 1 -1 3 0 1 0 0 1 2 1 2 -2 1 -1 3 0 0 1 0 1 2 1 1 0 0 0 2 0 0 0 1 * * => ac=ba=0 => neue instanz (aa,ab,b,c) => unlösbar, mask [("0","01"),("1","0110"),("1010","0")] a b c aa ab ac ba bb bc ca cb cc 0 -2 1 0 0 0 0 0 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 -1 0 -1 -1 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 0 2 -2 0 -2 2 0 0 0 3 1 2 1 0 2 0 1 0 2 0 0 3 1 2 3 -2 2 0 1 0 0 2 0 3 1 2 3 0 0 0 1 0 0 0 2 => ba=0 => neue instanz (a,bb,bc,c) => unlösbar, mask [("0","010"),("0110","1"),("1001","0")] a b c aa ab ac ba bb bc ca cb cc -1 2 1 0 0 0 0 0 0 0 0 0 -1 1 2 0 0 0 0 0 0 0 0 0 0 0 1 0 1 -1 1 1 0 -1 0 -1 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 -1 -1 0 1 0 0 0 3 1 1 2 0 1 0 1 0 1 0 0 3 1 1 3 -1 1 0 1 0 0 1 0 3 1 1 4 -1 0 -1 2 0 0 0 1 => ab=ba=bc=cb=cc=0, b=bb => neue instanz (a,bb,c) => unlösbar, mask [("0","1001"),("0101","01"),("1","0110")] a b c aa ab ac ba bb bc ca cb cc -1 1 -2 0 0 0 0 0 0 0 0 0 -2 1 -1 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 0 0 0 -1 -1 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 1 -1 0 -1 1 0 0 0 0 1 3 1 -2 3 0 2 0 1 1 0 0 1 3 1 0 2 -1 1 0 2 0 1 0 1 3 1 -1 3 -1 2 0 1 0 0 1 => ac=cb=cc=aa=ba=0 => neue instanz (aa,ab,b,c) => unlösbar, mask [("00","0000"),("000","01"),("0101","10")] a b c aa ab ac ba bb bc ca cb cc -2 2 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 1 1 1 1 -1 -1 0 -1 0 0 1 1 1 0 0 0 0 0 0 0 -1 0 0 0 0 1 1 1 0 0 0 0 0 -1 0 0 0 0 0 0 1 1 1 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 -1 0 0 1 0 0 1 0 0 1 0 0 0 2 -2 0 -2 2 0 0 0 0 3 2 2 -1 2 2 2 0 0 2 0 0 3 2 2 1 0 2 2 0 0 0 2 0 3 2 2 1 2 0 2 0 0 0 0 2 => bc=0 => neue instanz (a,ba,bb,c) => unlösbar, rho+