Added 3 more unsatisfiable configurations.