counter based boolean satifiability solver