TSTP Solution File: SYN004-1.007 by Mace4---1109a