fixed cut generation for RQUAD. solve.sh updated.