53.17/53.83	unsat
