Updated DlxLibDemo3 to use the new Solve overload