All solutions for SAT problem can be returned now