Reconfiguring Hybrid Systems Using SAT