{6+[20-(10-a) x2] : 2 =​