tls12.gms:

References:

Point: p1 
Best known point (p1): Solution value 112.80


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