Juq-150

Part numbers or mission codes can sometimes follow this format, though none are currently registered in standard databases under this exact string.

$$2x = 11 - 5$$ $$2x = 6$$ $$x = 3$$