6.78/8.91	unsat
