two times a number is at most 11 (let x be the number
)