Adding description for SAT Comp'13