Our fucking awesome SatSolver for Theory Infornmation Technology 2014