satisfiability can be run as sequential in order to get speed up