A positive statement takes a negative question tag using the same auxiliary. 'They will solve it' uses 'will', so the negative tag is 'won't they?'. Options 1 and 3 change the auxiliary to 'can', and option 2 uses a positive tag for a positive sentence. Option 4 is correct.