52.83/54.35	unsat
