Rewrote DSATUR