2015-S1 - NWI-IMC009: Automated Reasoning