69.47/69.76	unsat
