6.78/7.33	unsat
