HIGHS_MAJOR=1
HIGHS_MINOR=7
HIGHS_PATCH=2
#PRE_RELEASE=YES
