upsolve

not defined yet