Sat Algorithm For Dynamic Cone Crusher Control