TSTP Solution File: SYN986-10.005 by Mace4---1109a