95.35/95.64	unsat
