51.73/53.91	unsat
