Is every level solvable without guessing? Or are there multiple solutions for some levels? I feel like I had to guess sometimes, but maybe I haven't thought about it enough.
There are no multiple solutions due to an unstated constraint that resolves ambiguities. I believe it is that a blue cannot be surrounded completely by reds.