9.36/11.87	unsat
