6.37/7.75	unsat
