TSTP Solution File: SYN191-1 by SInE---0.4