6.78/9.23	unsat
