17*[3 8 (5 4-5 6)]