more testing with ut_solv