It took me a while, but I solved it without any guessing+backtracking.