TSTP Solution File: SYN193-10 by SInE---0.4