solve.lits