tc6kq.unisat