If you solve the 9 in R4 by looking for contradictions, the rest flows from there. If you don't want to do that, it starts in C15.