6.37/8.75	unsat
