new program language 1{=NP/1}