trying out minres and symmql