52.58/54.30	unsat
