Optimization of operation sequencing in computer aided process planning using hybrid S Gensat algorithm