69.60/69.76	unsat
