6.78/8.97	unsat
