solve-literal-equations