unsolvable loops