HIGHS_MAJOR=1
HIGHS_MINOR=9
HIGHS_PATCH=0
#PRE_RELEASE=YES
