Αποστολή με SMS: Applying the "smoothing" technique of Achlioptas and Moore to the satisfiability problem