SATToSE 2014 pre-proceedings released