52.90/53.04	unsat
