9.61/11.64	unsat
