Case Study UPC freeSAT