HIGHS_MAJOR=1
HIGHS_MINOR=13
HIGHS_PATCH=1
#PRE_RELEASE=YES
