6.78/9.45	unsat
