6.78/7.37	unsat
