st_miqp4.gms:

References:

Point: p1 
Best known point (p1): Solution value -4574.00 (global optimum, BARON certificate)


<!--#include virtual="st_miqp4.gms" -->