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