uninsolvent
not defined yet