Should Algorithms for Random SAT and Max-SAT be Different?