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