Pošalji zapis e-mailom: A Parallel Search Algorithm for the SAT