Modify Sat solver