fixed mmmu by cooking options from answer, when options is not given in the instance#1921
Open
dafnapension wants to merge 2 commits intomainfrom 
Open
fixed mmmu by cooking options from answer, when options is not given in the instance#1921dafnapension wants to merge 2 commits intomainfrom 
dafnapension wants to merge 2 commits intomainfrom