10.10/11.64	unsat
