51.29/52.20	unsat
