12 − x9 = 11