Solve status for LISP2