9.74/11.87	unsat
