8.17/11.64	unsat
