50.92/52.03	unsat
