qbf.lits