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