52.20/54.04	unsat
