65.38/69.76	unsat
