tls7.gms:

References:

Points: p1  p2  p3 
Best known point (p3): Solution value 15.50


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