9.55/9.75	unsat
