The secret of the SAT