6.37/10.75	unsat
