6.78/7.42	unsat
