6.78/7.45	unsat
