AndreiChis / Hackathon-SATToSE2013