10.66/13.64	unsat
