52.18/53.17	unsat
