is co-NP-hard contained in EXPTIME-hard or vice-versa? is co-NP-hard contained in EXPTIME-hard or vice-versa?
