9.66/10.62	unsat
