SatPerf Goat Tying

by