prag($convrhs,12, index).
prag($constr_goal,10,index).
