st_e15.gms:

Reference:

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


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