a 10
b 3
res 17