sygus-comp14