6.78/8.42	unsat
