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