In this workshop led by Mate Soos (PhD in INRIA Rhone-Alpes) we will take a distributed SAT solver design that works similar to SETI@Home and hack it until it works faster, gives better results. The results will be public and the solver downloadable, along with the server to enable anyone to crack much-hyped but useless crypto-systems using collaborative effort. SAT solvers are mathematical tools that solve problems given in the