20 - (16 + 17) - [15 - (18 - 23)] ​