L3Q7.py is buggy. Don't use it. Still trying to crack 3-star problem