solver handles QU