unsolubility

not defined yet