9.76/11.62	unsat
