TSTP Solution File: SYN375+1 by Mace4---1109a