use std::io::Write;
use std::collections::*;

type Map<K, V> = BTreeMap<K, V>;
type Set<T> = BTreeSet<T>;
type Deque<T> = VecDeque<T>;

fn main() {
    input! {
        n: usize,
        src: usize,
        m: usize,
        a: [usize; m],
    }
    let inf = n + 1;
    let mut dp = vec![inf; n];
    dp[0] = 0;
    let mut deq = Deque::new();
    deq.push_back(0);
    while let Some(v) = deq.pop_front() {
        let d = dp[v] + 1;
        for &a in a.iter() {
            let mut u = v + n - a;
            if u >= n {
                u -= n;
            }
            if dp[u] > d {
                dp[u] = d;
                deq.push_back(u);
            }
        }
    }
    let mut ans = (dp[src], 1);
    let sum = dp.iter().filter(|p| **p != inf).sum::<usize>();
    let c = dp.iter().filter(|p| **p == inf).count();
    let p = (sum + n, n - c);
    if ans.0 * p.1 > p.0 * ans.1 {
        ans = p;
    }
    for i in (2..=n).rev() {
        if ans.0 % i == 0 && ans.1 % i == 0 {
            ans.0 /= i;
            ans.1 /= i;
        }
    }
    println!("{} {}", ans.0, ans.1);
}

// ---------- begin input macro ----------
// reference: https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8
#[macro_export]
macro_rules! input {
    (source = $s:expr, $($r:tt)*) => {
        let mut iter = $s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
    ($($r:tt)*) => {
        let s = {
            use std::io::Read;
            let mut s = String::new();
            std::io::stdin().read_to_string(&mut s).unwrap();
            s
        };
        let mut iter = s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
}

#[macro_export]
macro_rules! input_inner {
    ($iter:expr) => {};
    ($iter:expr, ) => {};
    ($iter:expr, $var:ident : $t:tt $($r:tt)*) => {
        let $var = read_value!($iter, $t);
        input_inner!{$iter $($r)*}
    };
}

#[macro_export]
macro_rules! read_value {
    ($iter:expr, ( $($t:tt),* )) => {
        ( $(read_value!($iter, $t)),* )
    };
    ($iter:expr, [ $t:tt ; $len:expr ]) => {
        (0..$len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>()
    };
    ($iter:expr, chars) => {
        read_value!($iter, String).chars().collect::<Vec<char>>()
    };
    ($iter:expr, bytes) => {
        read_value!($iter, String).bytes().collect::<Vec<u8>>()
    };
    ($iter:expr, usize1) => {
        read_value!($iter, usize) - 1
    };
    ($iter:expr, $t:ty) => {
        $iter.next().unwrap().parse::<$t>().expect("Parse error")
    };
}
// ---------- end input macro ----------