11.18/11.64	unsat
