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