added posibility to use external sat-solver