6.78/8.30	unsat
