headnet/prod: links for ustcsolver