Here is a complete walkthrough: Cool 3/2 @ r12c6={12} (NP @ c6,n2) Outies @ n4: r37c1=3={12} (NP @ c1) Outies @ n6: r37c9=17={89} (NP @ c9) Innies @ n1: r13c1=7=[52|61] => r17c1=[51|62] Innies @ n9: r79c9=10=[82|91] => r39c9=[81|92] Innie-outies @ n3: r3c6=r3c9-3 => r3c69=[58|69] Innie-outies @ n7: r7c4=r7c1+1 => r7c14=[12|23] (2 @ r7 locked) Innies @ n2: r23c5+r3c6=17 with r3c6=5|6 => r23c5 can't have 5|6 (r23c5+r3c6 can't be {566}) => r23c5=11|12={38|47|39|48} r3c78=10-(5|6)=4|5={13|14|23} Innies of whole grid: r1c1+r9c9=7=[52|61] => r1c1+r3c9=[59|68] => r1c1+r3c6=[56|65] form pointing pair => r1c45,r3c23 can't have {56} => HP @ r3: r3c46={56} (NP @ n2) => 11/2 @ r89c4={29|38|47} has 2|3|4 Innies @ n8: r7c4+r78c5=9 can't be {234} (11/2 @ r89c4) => r7c4+r78c5={126|135} => r78c5={15|16} (1 @ c5 locked) => r6c56=14-1-(5|6)=7|8 must be from {23456} Also, since r6c6 is at least 3, r6c5 can't be 6 Now 14/4 @ c56 must be from {123456} with 1 locked => 14/4 @ c56={16(25|34)} => either r6c6 or r78c5 must have 6 (pointing cells) => r45c5, r789c6 can't have 6 Now since r9c5 is at least 2, r789c6 can't be {789} (25/4) => r789c6 must have at least one of {345} Innies @ r1234: r1c1+r4c67=12 with r3c6=11-r1c1 => r4c67=r3c6+1 => r3c6+r4c67=[542|634|643|652] Innies @ c456: r3c6+r7c4=8=[53|62] But r3c6+r7c4=[53] would force r34c6=[54], conflicts r789c6 => r3c6+r7c4=[62] => r137c1=[521], r379c9=[982], r3c4=5 => r78c5=9-2=7=[61], r3c78=10-6=4={13} (NP @ r3,n3) => 8/2 @ r12c3={17} (NP @ c3,n1) => HS @ r3: r3c5=7 r2c5=17-7-6=4 => r12c4 from {389} must have 3|8 => 11/2 @ r89c4={47} (NP @ c4,n8 ) => HS @ c6,n5: r5c6=7 Now r6c56=14-6-1=7=[25|34] => r46c6 can't be [34] => 5 @ c6,n5 locked @ r46c6 => HS @ c5,n8: r9c5=5 => r4c45=25-4-7=14=[68], r7c23=14-2=12=[75] (r7c6=3|9) r4c89=16-9=7={25|34} => HSs @ r4: r4c123=[719] => r6c12=15-1=14={68} (NP @ r6,n4) => HSs @ c2: r58c2=[52] Innies @ r6789: r6c34=7=[43] => r3c23=[48] 4 @ r7,n9 locked @ r7c78 => 11/2 @ r89c7=[56] => r89c3=[63] => r9c2=17-6-3=8 All naked singles from here.