DSATUR algorithm with clique extension