51.82/54.69	unsat
