+ solving by common Minisat those problems which were solved by assumptions