unsolvableness

not defined yet