7.41/9.75	unsat
