Initial commit of probSAT as an imporved version of the sc13 code