HIGHS_MAJOR=1
HIGHS_MINOR=5
HIGHS_PATCH=3
#PRE_RELEASE=YES
