52.82/54.58	unsat
